p{-}union($A$;$B$)($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ($A$($p$) =$_{0}$ 1) then 1 else $B$($p$) fi